From c398bdb69e0eb97e6015ec39111e7c4b8e471306 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Thu, 10 Jul 2003 05:00:22 +0000
Subject: [PATCH] Don't cache zero-length 'pages' from redirects

---
 includes/Article.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/Article.php b/includes/Article.php
index 17226b3ff7..f0def945c6 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -1667,6 +1667,7 @@ name=\"wpSummary\" maxlength=200 size=60><br>
 	
 	function saveToFileCache( $text ) {
 		global $wgUseGzip, $wgCompressByDefault;
+		if(length($text) == 0) return "";
 		
         wfDebug(" saveToFileCache()\n", false);
 		$filename=$this->fileCacheName();
-- 
2.20.1